
void timerfd_clock_was_set(void)
{
}
